81. Multicore technology :
المؤلف: edited by Muhammad Yasir Qadri, Stephen J. Sangwine
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer architecture,Multiprocessors,Simultaneous multithreading processors
رده :
TK7895
.
M5
M85
2014
82. NASA Formal Methods :
المؤلف: Julia M. Badger, Kristin Yvonne Rozier (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Formal methods (Computer science), Congresses.,Formal methods (Computer science)
رده :
QA76
.
9
.
F67
N45
2019
83. Practical UML statecharts in C/C++
المؤلف: / Miro Samek
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: System design.,Computer software--Development,Formal methods (Computer science),Statecharts (Computer science),UML (Computer science),Object-oriented programming (Computer science)
رده :
QA
,
76
.
9
,.
S88
,
S2585
,
2009
84. Practical UML statecharts in C/C++ :
المؤلف: Miro Samek.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software-- Development.,Formal methods (Computer science),Object-oriented programming (Computer science),Statecharts (Computer science),System design.,UML (Computer science),Computer software-- Development.,Computer software-- Development.,COMPUTERS-- Programming-- Object Oriented.,Formal methods (Computer science),Formal methods (Computer science),Object-oriented programming (Computer science),Object-oriented programming (Computer science),Statecharts (Computer science),Statecharts (Computer science),System design.,System design.,UML (Computer science),UML (Computer science)
رده :
QA76
.
9
.
S88
S26
2009eb
85. Practical UML statecharts in C/C++event-driven programming for embedded systems
المؤلف: Samek, Miro.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، System design,Development ، Computer software,، Formal methods )Computer science(,، Statecharts )Computer science(,، UML )Computer science(,، Object-oriented programming )Computer science(
رده :
QA
76
.
9
.
S88
S26
2009
86. Practical statecharts in C/C++ :
المؤلف: Miro Samek.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: C (Computer program language),C++ (Computer program language),Computer software-- Development.,Object-oriented programming (Computer science),Statecharts (Computer science),System design.,C (Computer program language),C++ (Computer program language),Computer software-- Development.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Systems Analysis & Design.,Engenharia de produção.,Manufatura.,Object-oriented programming (Computer science),Statecharts (Computer science),System design.
رده :
QA76
.
9
.
S88
S258
2002b
87. Practical statecharts in C/C++
المؤلف: / Miro Samek
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: System design,Computer software- Development,Statecharts (Computer science),Object-oriented programming (Computer science),C (Computer program language),C++ (Computer program language)
رده :
QA76
.
9
.
S88
,
S258
2002
88. Proceedings of International Conference on Recent Advancement on Computer and Communication :
المؤلف: Basant Tiwari, Vivek Tiwari, Kinkar Chandra Das, Durgesh Kumar Mishra, Jagdish C. Bansal, editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer networks, Congresses.,Internet of things, Congresses.,Computer networks.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Internet of things.
رده :
TK5105
.
5
89. Processor design :
المؤلف: edited by Jari Nurmi.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Application-specific integrated circuits.,Field programmable gate arrays.,Systems on a chip.,Application-specific integrated circuits.,Field programmable gate arrays.,Ingénierie.,Systems on a chip.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.
رده :
TK7895
.
E42
P76
2007eb
90. Reactive design patterns /
المؤلف: Roland Kuhn, with Brian Hanafee and Jamie Allen.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Application software-- Development.,Business-- Data processing.,Computer architecture.,Computer software-- Development.,Electronic data processing-- Distributed processing.,Embedded computer systems.,Real-time data processing.,System design.,Application software-- Development.,Business-- Data processing.,Computer architecture.,Computer software-- Development.,Electronic data processing-- Distributed processing.,Embedded computer systems.,Real-time data processing.,System design.
رده :
QA76
.
9
.
S88
91. Safecomp '97 :
المؤلف: Peter Daniel
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: varnost
92. Safety and reliability of software based systems :
المؤلف: Roger Shaw (ed.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Fiabilité des systèmes.,Fiabilité du logiciel.
رده :
QA76
.
76
.
R44
R644
1997
93. Sensor network operations /
المؤلف: edited by Shashi Phoha, Thomas LaPorta, Christopher Griffin.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Sensor networks.,Sensor networks.,TECHNOLOGY & ENGINEERING-- Telecommunications.
رده :
TK7872
.
D48
S435
2006eb
94. Software Engineering for Large Software Systems
المؤلف: edited by B.A. Kitchenham.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Software engineering.
رده :
QA76
.
76
.
D47
E358
1990
95. Software architecture :
المؤلف: Carlos E. Cuesta, David Garlan, Jennifer Pérez (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Software architecture, Congresses.,Software engineering, Congresses.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software architecture.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
751
96. Software evolution with UML and XML /
المؤلف: Hongji Yang, editor.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software-- Development.,UML (Computer science),XML (Document markup language),Computer software-- Development.,Computer software-- Development.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,UML (Computer science),UML (Computer science),XML (Document markup language),XML (Document markup language)
رده :
QA76
.
76
.
D47
S6615
2005eb
97. System level design from HW/SW to memory for embedded systems :
المؤلف: Marcelo Götz, Gunar Schirner, Marco Aurélio Wehrmeister, Mohammad Abdullah Al Faruque, Achim Rettberg (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Embedded computer systems, Congresses.,Computer hardware.,Computers-- Expert Systems.,Computers-- Hardware-- General.,Computers-- Information Technology.,Computers-- Software Development & Engineering-- General.,Embedded computer systems.,Expert systems-- knowledge-based systems.,Software Engineering.,Systems analysis & design.
رده :
TK7895
.
E42
98. System-level power optimization for wireless multimedia communication :
المؤلف: edited by Ramesh Karri, David Goodman.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Electric power-- Conservation.,Electronic digital computers-- Power supply.,Multimedia systems-- Power supply.,Wireless communication systems-- Power supply.,Electric power-- Conservation.,Electronic digital computers-- Power supply.,TECHNOLOGY & ENGINEERING-- Telecommunications.
رده :
TK7895
.
P68
S97
2002eb
99. System specification & design languages :
المؤلف: edited by Eugenio Villar, Jean Mermet.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer hardware description languages -- Congresses.,Computer hardware description languages.,Integrated circuits -- Very large scale integration -- Design and construction -- Congresses.
رده :
TK7885
.
7
E358
2003
100. Systems programming in Unix/Linux /
المؤلف: K.C. Wang.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Linux.,UNIX (Computer file),Linux.,UNIX (Computer file),Systems programming (Computer science),Data Structures.,Operating Systems.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Data Modeling & Design.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Operating systems.,Programming & scripting languages: general.,Systems programming (Computer science)
رده :
QA76
.
76
.
O63
W36
2018
